Nuprl Definition : decide def
13,42
postcript
pdf
case
b
of inl(
x
) =>
s
(
x
) | inr(
y
) =>
t
(
y
) is Primitive
latex
Up
core
1
,
core
1
origin